TSTP Solution File: PUZ108^5 by CARINE---0.734